;; verified (solution exists)

(define (problem p13-net2-b12-g3)
  (:domain pipesworld_strips)
  (:objects
   B10 B0 B1 B4 B6 B7 B9 B3 B8 B2 B11 B5 - batch-atom
   A1 A2 A3 - area
   S12 S13 - pipe
   )

  (:init
   ;; speed of pipe segments
   (= (speed S12) 2)
   (= (speed S13) 2)
   ;; All pipelines segments are in normal state
   (normal S12)
   (normal S13)
   ;; Interfaces restrictions
   (may-interface lco lco)
   (may-interface gasoleo gasoleo)
   (may-interface rat-a rat-a)
   (may-interface oca1 oca1)
   (may-interface oc1b oc1b)
   (may-interface lco gasoleo)
   (may-interface gasoleo lco)
   (may-interface lco oca1)
   (may-interface oca1 lco)
   (may-interface lco oc1b)
   (may-interface oc1b lco)
   (may-interface lco rat-a)
   (may-interface rat-a lco)
   (may-interface gasoleo rat-a)
   (may-interface rat-a gasoleo)
   (may-interface gasoleo oca1)
   (may-interface oca1 gasoleo)
   (may-interface gasoleo oc1b)
   (may-interface oc1b gasoleo)
   (may-interface oca1 oc1b)
   (may-interface oc1b oca1)
   ;; Network topology definition
   (connect A1 A2 S12)
   (connect A1 A3 S13)
   ;; Batch-atoms products
   (is-product B10 oca1)
   (is-product B0 rat-a)
   (is-product B1 oc1b)
   (is-product B4 oca1)
   (is-product B6 oca1)
   (is-product B7 oca1)
   (is-product B9 lco)
   (is-product B3 lco)
   (is-product B8 lco)
   (is-product B2 rat-a)
   (is-product B11 lco)
   (is-product B5 gasoleo)
   ;; Batch-atoms initially located in areas
   (on B10 A3)
   (on B0 A3)
   (on B1 A1)
   (on B4 A1)
   (on B7 A1)
   (on B8 A3)
   (on B2 A1)
   (on B5 A2)
   ;; Batch-atoms initially located in pipes
   (first B6 S12)
   (follow B11 B6)
   (last B11 S12)
   (first B9 S13)
   (follow B3 B9)
   (last B3 S13)
   ;; Unitary pipeline segments
   (not-unitary S12)
   (not-unitary S13)
   )

  (:goal (and
	  (on B1 A2)
	  (on B9 A3)
	  (on B5 A1)
	  ))

  (:constraints (and
		 (within 5.1 (on b5 a1))
		 (within 4.6 (on b9 a3))
		 (within 8.1 (on b1 a2))
		 (always-within 2.6 (on b11 a2) (follow b11 b5))
		 (always-within 3.6 (on b11 a2) (follow b6 b11))
		 (always-within 4.1 (on b11 a2) (first b11 s12))
		 (always-within 2.6 (on b11 a2) (last b11 s12))
		 (always-within 1.1 (on b11 a2) (on b6 a2))
		 (always-within 3.6 (on b6 a2) (follow b6 b11))
		 (always-within 3.6 (on b6 a2) (last b6 s12))
		 ))

  )
